#include <stdio.h>
#include <stdlib.h>

int main()
{
    int i;
    for(i=7;i<=9999;i=i+7)
    {
        if(i/1000%10==5)printf("%d\n",i);
        else if(i/100%10==5)printf("%d\n",i);
        else if(i/10%10==5)printf("%d\n",i);
        else if(i%10==5)printf("%d\n",i);
    }
    return 0;
}
